#!/bin/csh -f  

#if ($#argv != 1) then
#     echo "Usage: ./run_all.csh trace_size"
#     exit 1
#endif

set i = 1
set j = 1
set TraceChoice = 3
set BenchNum = 7
#set benchmark = ("../Benchmarks2/S5378.bench" "../Benchmarks2/S9234.bench" "../Benchmarks2/S13207.bench" "../Benchmarks2/S15850.bench" "../Benchmarks2/S35932.bench" "../Benchmarks2/S38417.bench" "../Benchmarks2/S38584.bench")
set tracesize = (8 16 32)

#while (${k} <= `expr ${TraceChoice}`)
foreach k (32)
    echo $k 
        #echo $tracesize[$k]    
foreach benchmark ("../Benchmarks2/S5378.bench" "../Benchmarks2/S9234.bench" "../Benchmarks2/S13207.bench" "../Benchmarks2/S15850.bench" "../Benchmarks2/S35932.bench" "../Benchmarks2/S38417.bench" "../Benchmarks2/S38584.bench")    
#foreach benchmark ("../Benchmarks2/usb_phy.bench" "../Benchmarks2/pci_bridge32.bench" "../Benchmarks2/DMA.bench" "../Benchmarks2/vga_lcd.bench" "../Benchmarks2/des_perf.bench" "../Benchmarks2/b19.bench" "../Benchmarks2/leon2.bench" "../Benchmarks2/leon3mp.bench" "../Benchmarks2/netcard.bench")
#while (${i} <= `expr ${BenchNum}`)
    echo "$benchmark[$i] starts....."
    #./trace $benchmark[$i] $argv[1] $j $j
    #./trace $benchmark[$i] $tracesize[$k] $j $j
    ./trace $benchmark $k $j $j
    #set i =`expr ${i} + 1`
    echo "$benchmark[$i] ends....."
    end
            #set k =`expr ${k} + 1`
end

echo "Done......"
exit $status

